Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
نویسندگان
چکیده
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example Functions in Bird and Wadler's "Introduction to Functional Programming" can be expressed using these operators.
منابع مشابه
Contextual Equivalence for the Pi-Calculus that can Stop
The pi-calculus is a well-analyzed model for mobile processes and mobile computations. While a lot of other process and lambda calculi that are core languages of higher-order concurrent and/or functional programming languages use a contextual semantics observing the termination behavior of programs in all program contexts, traditional program equivalences in the pi-calculus are bisimulations an...
متن کاملSliced bananas on opaque data
Algebraic data types and catamorphisms (folds) play a central role in functional programming as they allow programmers to define recursive data structures and operations on them uniformly by structural recursion. Likewise, in object-oriented (OO) programming, recursive hierarchies of object types with virtual methods play a central role for the same reason. There is a semantical correspondence ...
متن کاملGreen envelopes classification: the comparative analysis of efficient factors on the thermal and energy performance of green envelopes
This paper classifies green envelopes as green roofs and green walls according to effective factors, which were derived from literature to compare the green envelopes’ thermal and energy performance in a more effective way. For this purpose, an extensive literature review was carried out by searching keywords in databases and studying related journal papers and articles. The research meth...
متن کاملThe Effect of the Landscape Matrix on the Distribution of Dung and Carrion Beetles in a Fragmented Tropical Rain Forest
Understanding the response of species to anthropogenic landscape modification is essential to design effective conservation programs. Recently, insects have been used in empirical studies to evaluate the impact of habitat modification and landscape fragmentation on biological diversity because they are often affected rapidly by changes in land use. In this study, the use of the landscape matrix...
متن کاملEffect of Bananas Puree on Survival of Lactobacillus casei in Coktel Apple and Banana Juice During Storage
The probiotic juice is one of the newest innovation opportunities in various kinds of healthy drinkꞌs business. The aim of this study was to investigate effect of banana pureeꞌs on survival of Lactobacillus casei and physicochemical and sensory properties of cocktail juice containing apples and bananas juice during storage. The amounts of banana puree were added in 3 levels (7% and 15%) to appl...
متن کامل